Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
551	Generating Efficient Libraries for use in FPGA Resynthesis Algorithms Andrew Kennings Alan Mishchenko Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2010-03-10 22:06:40 Digital electronics Boolean algebra Arrays Computer performance Lookup table Field-programmable gate array Truth table Programmable logic device Function Mathematics Electronic engineering Computing
552	c 2005 Old City Publishing, Inc. J. of Mult.-Valued Logic & Soft Computing., Vol. 11, pp. 437–465 Reprints available directly from the publisher Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-02-27 20:55:05 Computer programming Array programming languages Boolean algebra Diagrams IBM software APL Binary decision diagram K Circuit Computing Software engineering APL programming language family
553	Restructuring multi-level networks by using function approximations J. Cortadella M. Kishinevsky Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2003-04-08 11:43:32 Graph theory Science Binary decision diagram Boolean algebra Circuit Influence diagram Static single assignment form Artificial neuron Boolean network Diagrams Model checking Mathematics
554	Reducing Structural Bias in Technology Mapping S. Chatterjee A. Mishchenko R. Brayton X. Wang T. Kam Department of EECS Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2005-05-01 15:18:03 Electronics Boolean algebra Diagrams Algebraic logic And-inverter graph Logic synthesis Boolean function Circuit Topology Electronic engineering Electromagnetism Electronic design automation
555	Bi-Decomposition of Multi-Valued Relations Alan Mishchenko α α Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-05-09 04:01:38 Constraint programming Decomposition method Model theory Boolean algebra Function Canonical form Multivalued function Interpretation Binary decision diagram Mathematics Mathematical logic Functions and mappings
556	Reducing Structural Bias in Technology Mapping S. Chatterjee A. Mishchenko R. Brayton X. Wang T. Kam Department of EECS Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-02-27 20:55:14 Electronics Diagrams Boolean algebra And-inverter graph Canonical form Logic synthesis Circuit Boolean function Topology Electronic engineering Electromagnetism Electronic design automation
557	An Algorithm for Bi-Decomposition of Logic Functions Alan Mishchenko Bernd Steinbach Marek Perkowski Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-03-22 12:41:00 Binary decision diagram Diagrams Model checking Decomposition method Reed-Muller expansion Function Mathematics Boolean algebra Mathematical logic
558	An Experimental Evaluation of Algorithms for Computation of Internal Don’t-Cares in Boolean Networks Alan Mishchenko Department of Electrical and Computer Engineering Portland State University September 28, 2001 Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2001-10-20 03:32:06 Binary decision diagram Boolean algebra Diagrams Model checking Algorithm Circuit Boolean network Digital electronics Design Mathematics Theoretical computer science Applied mathematics
559	Introduction to: Computers & Programming: Booleans, Conditionals and Loops: Flow of Control in Python Adam Meyers New York University Add to Reading List Source URL: nlp.cs.nyu.edu Language: English - Date: 2011-03-08 16:56:27 Mathematical logic Mathematics Logical connectives Binary operations Boolean data type Python Control flow Relational operator Exclusive or Boolean algebra Propositional calculus Logic
560	Symmetry Detection for Large Boolean Functions using Circuit Representation, Simulation, and Satisfiability Jin S. Zhang1 Alan Mishchenko2 Robert Brayton2 Malgorzata Chrzanowska-Jeske1 1 Department of ECE Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2006-05-08 11:02:36 Electronic engineering Electronic design automation Formal methods Diagrams Symmetry And-inverter graph Binary decision diagram Boolean satisfiability problem Symmetry in mathematics Mathematics Theoretical computer science Boolean algebra

UPDATE